(0
 (
  ("(x 2)" 3 52)
  ("(x 1)" 52 69)
  ("(x 2)" 69 73)
  ("(x 3)" 73 76)
  ("(x 4)" 76 78)
  ("(x 5)" 78 80)
  ("(x 6)" 80 101)
  ("(x 4)" 117 161)
  ("(x 3)" 161 162)
  ("(x stable)" 4 43)
  ("(x up)" 43 61)
  ("(x stable)" 61 62)
  ("(x down)" 62 97)
  ("(x stable)" 97 99)
  ("(x up)" 99 101)
  ("(x stable)" 118 138)
  ("(x up)" 138 145)
  ("(x stable)" 145 160)
  ("(x up)" 160 162)
  ("(y 3)" 3 43)
  ("(y 4)" 43 49)
  ("(y 5)" 49 57)
  ("(y 6)" 57 101)
  ("(y 1)" 117 162)
  ("(y stable)" 4 15)
  ("(y up)" 15 23)
  ("(y stable)" 23 34)
  ("(y down)" 34 74)
  ("(y up)" 74 99)
  ("(y stable)" 99 100)
  ("(y down)" 100 101)
  ("(y stable)" 118 138)
  ("(y down)" 138 151)
  ("(y stable)" 151 162)
 ))
(1
 (
  ("(x 2)" 3 13)
  ("(x 3)" 13 26)
  ("(x 2)" 26 38)
  ("(x 1)" 38 44)
  ("(x 2)" 44 52)
  ("(x 3)" 52 55)
  ("(x 4)" 55 58)
  ("(x 5)" 58 61)
  ("(x 6)" 61 77)
  ("(x 3)" 93 115)
  ("(x down)" 4 15)
  ("(x stable)" 15 18)
  ("(x down)" 18 22)
  ("(x stable)" 22 23)
  ("(x up)" 23 42)
  ("(x down)" 42 73)
  ("(x up)" 73 77)
  ("(x down)" 94 100)
  ("(x stable)" 100 112)
  ("(x up)" 112 115)
  ("(y 2)" 3 24)
  ("(y 3)" 24 30)
  ("(y 4)" 30 35)
  ("(y 5)" 35 43)
  ("(y 6)" 43 67)
  ("(y 5)" 67 77)
  ("(y 1)" 93 115)
  ("(y up)" 4 12)
  ("(y stable)" 12 19)
  ("(y down)" 19 56)
  ("(y stable)" 56 57)
  ("(y up)" 57 77)
  ("(y up)" 94 99)
  ("(y stable)" 99 115)
 ))
(2
 (
  ("(x 3)" 3 20)
  ("(x 2)" 20 27)
  ("(x 1)" 27 45)
  ("(x 2)" 45 50)
  ("(x 3)" 50 53)
  ("(x 4)" 53 55)
  ("(x 5)" 55 58)
  ("(x 6)" 58 72)
  ("(x 3)" 88 98)
  ("(x 4)" 98 106)
  ("(x 5)" 106 114)
  ("(x 4)" 114 131)
  ("(x down)" 4 8)
  ("(x stable)" 8 17)
  ("(x up)" 17 36)
  ("(x down)" 36 69)
  ("(x up)" 69 72)
  ("(x up)" 89 93)
  ("(x stable)" 93 94)
  ("(x down)" 94 108)
  ("(x stable)" 108 113)
  ("(x up)" 113 122)
  ("(x stable)" 122 127)
  ("(x up)" 127 131)
  ("(y 3)" 3 24)
  ("(y 4)" 24 30)
  ("(y 5)" 30 37)
  ("(y 6)" 37 72)
  ("(y 1)" 88 131)
  ("(y stable)" 4 15)
  ("(y down)" 15 50)
  ("(y stable)" 50 52)
  ("(y up)" 52 69)
  ("(y stable)" 69 72)
  ("(y up)" 89 99)
  ("(y stable)" 99 108)
  ("(y down)" 108 118)
  ("(y stable)" 118 126)
  ("(y down)" 126 131)
 ))
(3
 (
  ("(x 2)" 3 27)
  ("(x 1)" 27 33)
  ("(x 2)" 33 42)
  ("(x 3)" 42 51)
  ("(x 4)" 51 54)
  ("(x 5)" 54 58)
  ("(x 6)" 58 75)
  ("(x 3)" 91 92)
  ("(x 4)" 92 102)
  ("(x 3)" 102 103)
  ("(x down)" 4 9)
  ("(x stable)" 9 16)
  ("(x up)" 16 31)
  ("(x down)" 31 72)
  ("(x stable)" 72 73)
  ("(x up)" 73 75)
  ("(x down)" 92 98)
  ("(x up)" 98 103)
  ("(y 2)" 3 25)
  ("(y 3)" 25 31)
  ("(y 4)" 31 36)
  ("(y 5)" 36 43)
  ("(y 6)" 43 62)
  ("(y 5)" 62 75)
  ("(y 1)" 91 103)
  ("(y up)" 4 7)
  ("(y stable)" 7 16)
  ("(y down)" 16 54)
  ("(y stable)" 54 56)
  ("(y up)" 56 75)
  ("(y up)" 92 97)
  ("(y stable)" 97 100)
  ("(y down)" 100 103)
 ))
(4
 (
  ("(x 3)" 3 14)
  ("(x 2)" 14 25)
  ("(x 1)" 25 34)
  ("(x 2)" 34 41)
  ("(x 3)" 41 44)
  ("(x 4)" 44 47)
  ("(x 5)" 47 50)
  ("(x 6)" 50 64)
  ("(x 2)" 80 82)
  ("(x 3)" 82 91)
  ("(x stable)" 4 8)
  ("(x up)" 8 30)
  ("(x down)" 30 61)
  ("(x up)" 61 64)
  ("(x down)" 81 89)
  ("(x stable)" 89 90)
  ("(x up)" 90 91)
  ("(y 2)" 3 19)
  ("(y 3)" 19 23)
  ("(y 4)" 23 27)
  ("(y 5)" 27 36)
  ("(y 6)" 36 49)
  ("(y 5)" 49 64)
  ("(y 1)" 80 91)
  ("(y up)" 4 7)
  ("(y stable)" 7 10)
  ("(y down)" 10 43)
  ("(y stable)" 43 44)
  ("(y up)" 44 64)
  ("(y up)" 81 84)
  ("(y stable)" 84 85)
  ("(y down)" 85 91)
 ))
(5
 (
  ("(x 2)" 3 15)
  ("(x 1)" 15 30)
  ("(x 2)" 30 34)
  ("(x 3)" 34 36)
  ("(x 4)" 36 39)
  ("(x 5)" 39 42)
  ("(x 6)" 42 58)
  ("(x 5)" 74 84)
  ("(x stable)" 4 8)
  ("(x up)" 8 24)
  ("(x down)" 24 51)
  ("(x stable)" 51 53)
  ("(x up)" 53 58)
  ("(x down)" 75 78)
  ("(x stable)" 78 84)
  ("(y 2)" 3 12)
  ("(y 3)" 12 18)
  ("(y 4)" 18 23)
  ("(y 5)" 23 58)
  ("(y 1)" 74 84)
  ("(y stable)" 4 8)
  ("(y down)" 8 36)
  ("(y up)" 36 58)
  ("(y up)" 75 80)
  ("(y stable)" 80 82)
  ("(y down)" 82 84)
 ))
(6
 (
  ("(x 3)" 3 33)
  ("(x 2)" 33 39)
  ("(x 1)" 39 54)
  ("(x 2)" 54 57)
  ("(x 3)" 57 59)
  ("(x 4)" 59 61)
  ("(x 5)" 61 64)
  ("(x 6)" 64 82)
  ("(x 2)" 98 103)
  ("(x 3)" 103 117)
  ("(x down)" 4 6)
  ("(x stable)" 6 14)
  ("(x down)" 14 21)
  ("(x stable)" 21 25)
  ("(x up)" 25 49)
  ("(x stable)" 49 50)
  ("(x down)" 50 76)
  ("(x up)" 76 82)
  ("(x down)" 99 113)
  ("(x stable)" 113 114)
  ("(x up)" 114 117)
  ("(y 2)" 3 25)
  ("(y 3)" 25 31)
  ("(y 4)" 31 36)
  ("(y 5)" 36 44)
  ("(y 6)" 44 67)
  ("(y 5)" 67 82)
  ("(y 1)" 98 117)
  ("(y up)" 4 7)
  ("(y stable)" 7 20)
  ("(y down)" 20 53)
  ("(y stable)" 53 54)
  ("(y up)" 54 82)
  ("(y up)" 99 104)
  ("(y stable)" 104 106)
  ("(y down)" 106 117)
 ))
(7
 (
  ("(x 2)" 3 14)
  ("(x 3)" 14 33)
  ("(x 2)" 33 40)
  ("(x 1)" 40 52)
  ("(x 2)" 52 57)
  ("(x 3)" 57 60)
  ("(x 4)" 60 63)
  ("(x 5)" 63 67)
  ("(x 6)" 67 86)
  ("(x 2)" 102 104)
  ("(x 3)" 104 106)
  ("(x down)" 4 8)
  ("(x stable)" 8 12)
  ("(x down)" 12 22)
  ("(x stable)" 22 28)
  ("(x up)" 28 47)
  ("(x stable)" 47 48)
  ("(x down)" 48 80)
  ("(x stable)" 80 82)
  ("(x up)" 82 86)
  ("(x down)" 103 106)
  ("(y 1)" 3 23)
  ("(y 2)" 23 35)
  ("(y 3)" 35 40)
  ("(y 4)" 40 46)
  ("(y 5)" 46 55)
  ("(y 6)" 55 75)
  ("(y 5)" 75 86)
  ("(y 1)" 102 106)
  ("(y up)" 4 9)
  ("(y stable)" 9 17)
  ("(y down)" 17 64)
  ("(y stable)" 64 65)
  ("(y up)" 65 81)
  ("(y stable)" 81 84)
  ("(y up)" 84 86)
  ("(y stable)" 103 105)
  ("(y down)" 105 106)
 ))
(8
 (
  ("(x 2)" 3 5)
  ("(x 3)" 5 17)
  ("(x 2)" 17 25)
  ("(x 1)" 25 44)
  ("(x 2)" 44 49)
  ("(x 3)" 49 53)
  ("(x 4)" 53 57)
  ("(x 5)" 57 60)
  ("(x 6)" 60 75)
  ("(x 5)" 91 106)
  ("(x down)" 4 12)
  ("(x stable)" 12 13)
  ("(x up)" 13 36)
  ("(x stable)" 36 38)
  ("(x down)" 38 72)
  ("(x up)" 72 75)
  ("(x up)" 92 100)
  ("(x stable)" 100 102)
  ("(x up)" 102 106)
  ("(y 2)" 3 25)
  ("(y 3)" 25 29)
  ("(y 4)" 29 34)
  ("(y 5)" 34 42)
  ("(y 6)" 42 64)
  ("(y 5)" 64 75)
  ("(y 1)" 91 106)
  ("(y up)" 4 9)
  ("(y stable)" 9 14)
  ("(y down)" 14 52)
  ("(y stable)" 52 55)
  ("(y up)" 55 75)
  ("(y up)" 92 100)
  ("(y stable)" 100 105)
  ("(y down)" 105 106)
 ))
(9
 (
  ("(x 3)" 3 26)
  ("(x 2)" 26 31)
  ("(x 1)" 31 49)
  ("(x 2)" 49 53)
  ("(x 3)" 53 56)
  ("(x 4)" 56 58)
  ("(x 5)" 58 61)
  ("(x 6)" 61 77)
  ("(x 3)" 93 119)
  ("(x stable)" 4 18)
  ("(x up)" 18 40)
  ("(x stable)" 40 42)
  ("(x down)" 42 75)
  ("(x stable)" 75 77)
  ("(x stable)" 94 95)
  ("(x down)" 95 98)
  ("(x stable)" 98 117)
  ("(x up)" 117 119)
  ("(y 2)" 3 23)
  ("(y 3)" 23 29)
  ("(y 4)" 29 33)
  ("(y 5)" 33 40)
  ("(y 6)" 40 74)
  ("(y 5)" 74 77)
  ("(y 1)" 93 119)
  ("(y stable)" 4 16)
  ("(y down)" 16 54)
  ("(y up)" 54 77)
  ("(y up)" 94 101)
  ("(y stable)" 101 117)
  ("(y down)" 117 119)
 ))
(10
 (
  ("(x 4)" 3 33)
  ("(x 3)" 33 36)
  ("(x 2)" 36 38)
  ("(x 1)" 38 57)
  ("(x 2)" 57 60)
  ("(x 3)" 60 62)
  ("(x 4)" 62 64)
  ("(x 5)" 64 67)
  ("(x 6)" 67 82)
  ("(x 4)" 98 135)
  ("(x stable)" 4 16)
  ("(x down)" 16 28)
  ("(x stable)" 28 29)
  ("(x up)" 29 49)
  ("(x down)" 49 82)
  ("(x stable)" 99 135)
  ("(y 3)" 3 31)
  ("(y 4)" 31 36)
  ("(y 5)" 36 43)
  ("(y 6)" 43 82)
  ("(y 1)" 98 135)
  ("(y stable)" 4 19)
  ("(y down)" 19 60)
  ("(y stable)" 60 66)
  ("(y up)" 66 82)
  ("(y up)" 99 103)
  ("(y stable)" 103 133)
  ("(y down)" 133 135)
 ))
(11
 (
  ("(x 4)" 3 13)
  ("(x 3)" 13 22)
  ("(x 2)" 22 27)
  ("(x 1)" 27 46)
  ("(x 2)" 46 48)
  ("(x 3)" 48 50)
  ("(x 4)" 50 52)
  ("(x 5)" 52 55)
  ("(x 6)" 55 71)
  ("(x 4)" 87 107)
  ("(x 3)" 107 109)
  ("(x stable)" 4 12)
  ("(x up)" 12 39)
  ("(x stable)" 39 40)
  ("(x down)" 40 67)
  ("(x stable)" 67 68)
  ("(x up)" 68 71)
  ("(x stable)" 88 102)
  ("(x up)" 102 109)
  ("(y 2)" 3 13)
  ("(y 3)" 13 22)
  ("(y 4)" 22 28)
  ("(y 5)" 28 39)
  ("(y 6)" 39 58)
  ("(y 5)" 58 71)
  ("(y 1)" 87 109)
  ("(y stable)" 4 11)
  ("(y down)" 11 50)
  ("(y up)" 50 71)
  ("(y up)" 88 95)
  ("(y stable)" 95 103)
  ("(y down)" 103 109)
 ))
(12
 (
  ("(x 3)" 3 23)
  ("(x 2)" 23 34)
  ("(x 3)" 34 40)
  ("(x 4)" 40 44)
  ("(x 5)" 44 48)
  ("(x 6)" 48 64)
  ("(x 1)" 80 96)
  ("(x down)" 4 9)
  ("(x stable)" 9 15)
  ("(x up)" 15 28)
  ("(x stable)" 28 30)
  ("(x down)" 30 62)
  ("(x up)" 62 64)
  ("(x down)" 81 87)
  ("(x stable)" 87 92)
  ("(x up)" 92 96)
  ("(y 2)" 3 13)
  ("(y 3)" 13 21)
  ("(y 4)" 21 27)
  ("(y 5)" 27 41)
  ("(y 6)" 41 51)
  ("(y 5)" 51 64)
  ("(y 1)" 80 96)
  ("(y down)" 4 45)
  ("(y stable)" 45 47)
  ("(y up)" 47 64)
  ("(y up)" 81 84)
  ("(y stable)" 84 93)
  ("(y down)" 93 96)
 ))
(13
 (
  ("(x 2)" 3 52)
  ("(x 3)" 52 54)
  ("(x 4)" 54 56)
  ("(x 5)" 56 59)
  ("(x 6)" 59 77)
  ("(x 4)" 93 111)
  ("(x down)" 4 7)
  ("(x stable)" 7 19)
  ("(x up)" 19 34)
  ("(x stable)" 34 41)
  ("(x down)" 41 70)
  ("(x up)" 70 77)
  ("(x down)" 94 96)
  ("(x stable)" 96 108)
  ("(x up)" 108 111)
  ("(y 2)" 3 16)
  ("(y 3)" 16 27)
  ("(y 4)" 27 33)
  ("(y 5)" 33 44)
  ("(y 6)" 44 60)
  ("(y 5)" 60 77)
  ("(y 1)" 93 111)
  ("(y stable)" 4 11)
  ("(y down)" 11 53)
  ("(y stable)" 53 54)
  ("(y up)" 54 77)
  ("(y up)" 94 99)
  ("(y stable)" 99 108)
  ("(y down)" 108 111)
 ))
(14
 (
  ("(x 3)" 3 20)
  ("(x 2)" 20 31)
  ("(x 1)" 31 41)
  ("(x 2)" 41 46)
  ("(x 3)" 46 49)
  ("(x 4)" 49 51)
  ("(x 5)" 51 54)
  ("(x 6)" 54 72)
  ("(x 3)" 88 106)
  ("(x stable)" 4 15)
  ("(x up)" 15 37)
  ("(x down)" 37 66)
  ("(x stable)" 66 68)
  ("(x up)" 68 72)
  ("(x stable)" 89 97)
  ("(x down)" 97 104)
  ("(x stable)" 104 105)
  ("(x up)" 105 106)
  ("(y 2)" 3 15)
  ("(y 3)" 15 23)
  ("(y 4)" 23 29)
  ("(y 5)" 29 39)
  ("(y 6)" 39 53)
  ("(y 5)" 53 72)
  ("(y 1)" 88 106)
  ("(y stable)" 4 7)
  ("(y down)" 7 47)
  ("(y up)" 47 72)
  ("(y up)" 89 92)
  ("(y stable)" 92 103)
  ("(y down)" 103 106)
 ))
(15
 (
  ("(x 4)" 3 26)
  ("(x 3)" 26 31)
  ("(x 2)" 31 37)
  ("(x 1)" 37 47)
  ("(x 2)" 47 52)
  ("(x 3)" 52 55)
  ("(x 4)" 55 57)
  ("(x 5)" 57 60)
  ("(x 6)" 60 76)
  ("(x 2)" 92 112)
  ("(x stable)" 4 9)
  ("(x down)" 9 16)
  ("(x stable)" 16 22)
  ("(x up)" 22 42)
  ("(x stable)" 42 43)
  ("(x down)" 43 72)
  ("(x stable)" 72 73)
  ("(x up)" 73 76)
  ("(x down)" 93 98)
  ("(x stable)" 98 110)
  ("(x up)" 110 112)
  ("(y 2)" 3 19)
  ("(y 3)" 19 28)
  ("(y 4)" 28 34)
  ("(y 5)" 34 42)
  ("(y 6)" 42 66)
  ("(y 5)" 66 76)
  ("(y 1)" 92 112)
  ("(y stable)" 4 8)
  ("(y down)" 8 54)
  ("(y up)" 54 76)
  ("(y up)" 93 95)
  ("(y stable)" 95 108)
  ("(y down)" 108 112)
 ))
(16
 (
  ("(x 3)" 3 28)
  ("(x 2)" 28 35)
  ("(x 1)" 35 47)
  ("(x 2)" 47 51)
  ("(x 3)" 51 54)
  ("(x 4)" 54 57)
  ("(x 5)" 57 61)
  ("(x 6)" 61 81)
  ("(x 2)" 97 117)
  ("(x down)" 4 7)
  ("(x stable)" 7 25)
  ("(x up)" 25 41)
  ("(x stable)" 41 43)
  ("(x down)" 43 76)
  ("(x stable)" 76 77)
  ("(x up)" 77 81)
  ("(x up)" 98 103)
  ("(x stable)" 103 115)
  ("(x up)" 115 117)
  ("(y 2)" 3 24)
  ("(y 3)" 24 30)
  ("(y 4)" 30 36)
  ("(y 5)" 36 46)
  ("(y 6)" 46 71)
  ("(y 5)" 71 81)
  ("(y 1)" 97 117)
  ("(y stable)" 4 17)
  ("(y down)" 17 56)
  ("(y stable)" 56 59)
  ("(y up)" 59 81)
  ("(y up)" 98 104)
  ("(y stable)" 104 111)
  ("(y down)" 111 117)
 ))
(17
 (
  ("(x 3)" 3 36)
  ("(x 2)" 36 51)
  ("(x 3)" 51 55)
  ("(x 4)" 55 58)
  ("(x 5)" 58 62)
  ("(x 6)" 62 82)
  ("(x 1)" 98 117)
  ("(x stable)" 4 16)
  ("(x down)" 16 27)
  ("(x stable)" 27 28)
  ("(x up)" 28 44)
  ("(x stable)" 44 45)
  ("(x down)" 45 77)
  ("(x stable)" 77 79)
  ("(x up)" 79 82)
  ("(x up)" 99 100)
  ("(x stable)" 100 117)
  ("(y 2)" 3 22)
  ("(y 3)" 22 30)
  ("(y 4)" 30 36)
  ("(y 5)" 36 47)
  ("(y 6)" 47 67)
  ("(y 5)" 67 82)
  ("(y 1)" 98 117)
  ("(y stable)" 4 16)
  ("(y down)" 16 57)
  ("(y up)" 57 82)
  ("(y up)" 99 102)
  ("(y stable)" 102 113)
  ("(y down)" 113 117)
 ))
(18
 (
  ("(x 3)" 3 29)
  ("(x 2)" 29 35)
  ("(x 1)" 35 48)
  ("(x 2)" 48 51)
  ("(x 3)" 51 54)
  ("(x 4)" 54 56)
  ("(x 5)" 56 58)
  ("(x 6)" 58 76)
  ("(x 3)" 92 107)
  ("(x down)" 4 6)
  ("(x stable)" 6 23)
  ("(x up)" 23 42)
  ("(x stable)" 42 44)
  ("(x down)" 44 76)
  ("(x up)" 93 94)
  ("(x stable)" 94 106)
  ("(x up)" 106 107)
  ("(y 2)" 3 23)
  ("(y 3)" 23 29)
  ("(y 4)" 29 33)
  ("(y 5)" 33 44)
  ("(y 6)" 44 60)
  ("(y 5)" 60 76)
  ("(y 1)" 92 107)
  ("(y stable)" 4 16)
  ("(y down)" 16 53)
  ("(y up)" 53 76)
  ("(y up)" 93 95)
  ("(y stable)" 95 106)
  ("(y down)" 106 107)
 ))
(19
 (
  ("(x 4)" 3 17)
  ("(x 3)" 17 26)
  ("(x 2)" 26 32)
  ("(x 1)" 32 47)
  ("(x 2)" 47 51)
  ("(x 3)" 51 54)
  ("(x 4)" 54 57)
  ("(x 5)" 57 59)
  ("(x 6)" 59 76)
  ("(x 3)" 92 105)
  ("(x stable)" 4 17)
  ("(x up)" 17 41)
  ("(x down)" 41 73)
  ("(x stable)" 73 74)
  ("(x up)" 74 76)
  ("(x stable)" 93 105)
  ("(y 2)" 3 24)
  ("(y 3)" 24 29)
  ("(y 4)" 29 34)
  ("(y 5)" 34 44)
  ("(y 6)" 44 60)
  ("(y 5)" 60 76)
  ("(y 1)" 92 105)
  ("(y stable)" 4 17)
  ("(y down)" 17 52)
  ("(y stable)" 52 53)
  ("(y up)" 53 76)
  ("(y stable)" 93 105)
 ))
(20
 (
  ("(x 3)" 3 23)
  ("(x 2)" 23 30)
  ("(x 1)" 30 42)
  ("(x 2)" 42 46)
  ("(x 3)" 46 49)
  ("(x 4)" 49 51)
  ("(x 5)" 51 54)
  ("(x 6)" 54 69)
  ("(x 3)" 85 98)
  ("(x stable)" 4 17)
  ("(x up)" 17 37)
  ("(x down)" 37 65)
  ("(x stable)" 65 67)
  ("(x up)" 67 69)
  ("(x stable)" 86 96)
  ("(x up)" 96 98)
  ("(y 2)" 3 18)
  ("(y 3)" 18 24)
  ("(y 4)" 24 29)
  ("(y 5)" 29 40)
  ("(y 6)" 40 51)
  ("(y 5)" 51 69)
  ("(y 1)" 85 98)
  ("(y stable)" 4 10)
  ("(y down)" 10 45)
  ("(y stable)" 45 47)
  ("(y up)" 47 69)
  ("(y up)" 86 89)
  ("(y stable)" 89 94)
  ("(y down)" 94 98)
 ))
(21
 (
  ("(x 3)" 3 31)
  ("(x 2)" 31 44)
  ("(x 1)" 44 47)
  ("(x 2)" 47 56)
  ("(x 3)" 56 58)
  ("(x 4)" 58 61)
  ("(x 5)" 61 63)
  ("(x 6)" 63 82)
  ("(x 2)" 98 113)
  ("(x stable)" 4 28)
  ("(x up)" 28 45)
  ("(x stable)" 45 47)
  ("(x down)" 47 76)
  ("(x up)" 76 82)
  ("(x stable)" 99 100)
  ("(x down)" 100 106)
  ("(x stable)" 106 110)
  ("(x up)" 110 113)
  ("(y 2)" 3 25)
  ("(y 3)" 25 33)
  ("(y 4)" 33 38)
  ("(y 5)" 38 48)
  ("(y 6)" 48 67)
  ("(y 5)" 67 82)
  ("(y 1)" 98 113)
  ("(y stable)" 4 19)
  ("(y down)" 19 59)
  ("(y stable)" 59 60)
  ("(y up)" 60 82)
  ("(y up)" 99 106)
  ("(y stable)" 106 108)
  ("(y down)" 108 113)
 ))
(22
 (
  ("(x 4)" 3 25)
  ("(x 3)" 25 30)
  ("(x 2)" 30 33)
  ("(x 1)" 33 47)
  ("(x 2)" 47 50)
  ("(x 3)" 50 52)
  ("(x 4)" 52 54)
  ("(x 5)" 54 57)
  ("(x 6)" 57 74)
  ("(x 2)" 90 94)
  ("(x 3)" 94 106)
  ("(x 2)" 106 110)
  ("(x stable)" 4 24)
  ("(x up)" 24 40)
  ("(x down)" 40 68)
  ("(x stable)" 68 69)
  ("(x up)" 69 74)
  ("(x down)" 91 100)
  ("(x stable)" 100 103)
  ("(x up)" 103 110)
  ("(y 2)" 3 21)
  ("(y 3)" 21 28)
  ("(y 4)" 28 33)
  ("(y 5)" 33 40)
  ("(y 6)" 40 61)
  ("(y 5)" 61 74)
  ("(y 1)" 90 110)
  ("(y stable)" 4 15)
  ("(y down)" 15 50)
  ("(y up)" 50 74)
  ("(y up)" 91 94)
  ("(y stable)" 94 105)
  ("(y down)" 105 110)
 ))
